#include <stdio.h>

extern void prints(const char* s);

extern void print(int s);
